необходимое высказывание

необходимое высказывание

 

необходимое высказывание
Высказывание, которое должно содержаться во всех возможных пространствах высказываний и является истинным во всех пространствах сущностей.
[ГОСТ 34.320-96]

Тематики

  • базы данных

EN

  • necessary proposition


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "необходимое высказывание" в других словарях:

  • НЕОБХОДИМОЕ УСЛОВИЕ — В является таким условием для А, если истинно условное высказывание «Если А, то 5». Напр., поскольку условное высказывание «Если ниобий металл, то он электропроводен» истинно, то электропроводность ниобия является Н.у. того, что он металл. То,… …   Философская энциклопедия

  • МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …   Философская энциклопедия

  • парадоксы импликации — доказуемые в логике классической и некоторых других логических системах утверждения с импликацией, плохо согласующиеся с обычным пониманием условной связи ( если ..., то ... ) и логического следования. П. и. это парадоксы в широком смысле, их… …   Словарь терминов логики

  • КАУЗАЛЬНАЯ ИМПЛИКАЦИЯ — (лат. causalis, от causa – причина) – вид импликации, введенный для отражения каузальной (причинной) связи, выражаемой в условных высказываниях. При рассмотрении условного высказывания часто приходится принимать во внимание связь по смыслу между… …   Философская энциклопедия

  • РЕЛЕВАНТНАЯ ЛОГИКА —     РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… …   Философская энциклопедия

  • ЕВАНГЕЛИЕ. ЧАСТЬ I — [греч. εὐαγγέλιον], весть о наступлении Царства Божия и спасении человеческого рода от греха и смерти, возвещенная Иисусом Христом и апостолами, ставшая основным содержанием проповеди христ. Церкви; книга, излагающая эту весть в форме… …   Православная энциклопедия

  • ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

  • ЕВХАРИСТИЯ. ЧАСТЬ I — [греч. Εὐχαριστία], главное таинство христ. Церкви, состоящее в преложении (μεταβολή изменение, превращение) приготовленных Даров (хлеба и разбавленного водой вина) в Тело и Кровь Христовы и причащении (κοινωνία приобщение; μετάληψις принятие)… …   Православная энциклопедия

  • ДОСТАТОЧНОЕ УСЛОВИЕ — А является таким условием для В, если истинно условное высказывание «Если А, то 5». Напр., т.к. условное высказывание «Если число делится на 9, то оно делится на 3» истинно, делимость числа на 9 является Д.у. его делимости на 3. Понятие Д.у.… …   Философская энциклопедия

  • ЖИЗНЬ — Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) Иисус Христос Спаситель и Жизнеподатель. Икона. 1394 г. (Художественная галерея, Скопье) [греч. βίος, ζωή; лат. vita], христ. богословие в учении о Ж.… …   Православная энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»